$CONFIG_SERVERS= 
	@(    
	# a ; separated list of hyper-v servers 
	# (either netbios name either FQDN)
	
	"virtualsrv-1";
	"virtualsrv-19";
	"virtualsrv-34"
);